I’m not. I guess this is the part that makes it confusing
for readability we define A(s):=Aσ(s) and Pσ(s) to be the accessible and outer action spaces of s respectively
Do you have a suggestion for alternate notation? I use this because we often need to refer to the action space corresponding to a state. I think this would be needed even with the language framing.
(I also assigned j:=σ(s′) to make it more readable)
Yes, my point is that currently subscripts refer to both subenvironments and entries in the action space list. I suggest changing one of these two into superscripts.
I’m not. I guess this is the part that makes it confusing
Do you have a suggestion for alternate notation? I use this because we often need to refer to the action space corresponding to a state. I think this would be needed even with the language framing.
(I also assigned j:=σ(s′) to make it more readable)
You can use e.g. subscripts to refer to indices of the action space list and superscripts to refer to indices of the subenvironment list.
I don’t think this will work because we are already using subscripts to denote which environment’s list we are referring to
Yes, my point is that currently subscripts refer to both subenvironments and entries in the action space list. I suggest changing one of these two into superscripts.